\section{From SEREs to NFAs}

In this section we describe the constructions of 1NFAs for given SEREs. An NFA is inductively constructed on the structure of a given SERE. 

For a proposition $p\in P'$, we define $\autA_p$ as $(\set{q_0,q_1},\delta,q_0,\set{q_1})$, where $\delta(q_0) = \set{(p,q_1)}$.

For two NFAs $\autA_1=(P,\eta,\pI,E)$ and $\autA_2=(Q,\delta,\qI,F)$, we define their union by $(P \cup Q)$\dots